DUGi: Llistar Títols | (dc.creator:"Suy Franch, Josep" OR dc.contributor:"Suy Franch, Josep" OR dc.contributor.other:"Suy Franch, Josep") | 25 - 31

Llistar Títols

S'han trobat 31 ítems

Llistant ítems des de 25 a 31:

1 2

Format	Data	Títol	Autor
Format	Data	Títol	Autor
		Solving constraint satisfaction problems with SAT modulo theories	Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
	2012	Solving constraint satisfaction problems with SAT modulo theories	Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
		Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories	Ansótegui, Carlos ; Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
	1 gener 2013	Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories	Ansótegui, Carlos ; Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
	juny 2003	Traductor de pseudocodi a Java	Royán Salvatella, Carles
		Traductor de pseudocodi a Java	Royán Salvatella, Carles

1 2

Matèries

68 - Indústries, oficis i comerç d’articles acabats. Tecnologia cibernètica i automàtica Dogs -- Breeding Web sites -- Design Metaconstraints Satisfactibilidad módulo teorias metarestricciones Programación de tareas

Autors

Nogueira Gascons, Cristòfor Garcia Sánchez, Sílvia Moreno Oliveras, David Ulrich-Oltean, Felix Generalitat de Catalunya. Agència de Gestió d’Ajuts Universitaris i de Recerca Universitat de Girona. Departament d’Informàtica i Matemàtica Aplicada Marzo i Lázaro, Josep Lluís